1. Algebraic computability and enumeration models : recursion theory and descriptive complexity
پدیدآورنده : Nourani, Cyrus F.
کتابخانه: (طهران)
موضوع : ، Functor theory,، Model theory,، Computable functions,، Algebra, Homological,، Kleene algebra
رده :
QA
169
.
N68A4
2. Algebraic recursion theory
پدیدآورنده : Ivanov, Ljubomir Lalov, 2591-
کتابخانه: (طهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
I93
3. Algebraic recursion theory /
پدیدآورنده : L.L. Ivanov ; editor, Dr. J.L. Bell
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Recursion theory
رده :
QA9
.
6
.
I93
1986
4. Bounded Queries in Recursion Theory
پدیدآورنده : \ William 1. Gasarch, Georgia A. Martin
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Information theory,Computational complexity,کامپیوتر,نظریه اطلاعات,پیچیدگی محاسباتی,a03,a04,a05,a03,a04,a05
رده :
E-Book
,
5. Bounded Queries in Recursion Theory
پدیدآورنده : by William I. Gasarch, Georgia A. Martin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational complexity.,Computer science-- Mathematics.,Computer science.,Information theory.,Mathematics.,Operator theory.
6. Bounded queries in recursion theory
پدیدآورنده : Gasarch, William I.
کتابخانه: (طهران)
موضوع : ، Computational complexity,، Recursion theory
رده :
QA
267
.
7
.
G3
7. Classical recursion theory: the theory of functions and sets of natural numbers
پدیدآورنده : Odifreddi, Piergiorgio
موضوع : ، Recursion theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
8. Classical recursion theory : the theory of functions and sets of natural numbers
پدیدآورنده : Odifreddi, Piergiorgio, 0591-
کتابخانه: (طهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
O35
1989
9. Complexity, Logic, and Recursion Theory
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : MATHEMATICS / Applied.,MATHEMATICS / General.
10. Complexity, logic, and recursion theory
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computational complexity. ; Recursion theory. ;
11. Computability theory: An introduction to recursion theory
پدیدآورنده : / Enderton H.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
12. Computability theory : an introduction to recursion theory
پدیدآورنده : Enderton, Herbert B.
کتابخانه: (طهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
E53
2011
13. Computability theory : an introduction to recursion theory
پدیدآورنده : Enderton, Herbert B.
کتابخانه: (طهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
E53C6
14. Computability theory :an introduction to recursion theory
پدیدآورنده : / Herbert B. Enderton
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Recursion theory
رده :
511
.
35
E56C
2011
15. Foundations of mathematical system dynamics : the fundamental theory of causal recursion and its application to social science and economics
پدیدآورنده : Aulin, Arvid.
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Economics, Mathematical,، Social sciences- Statistical methods
16. Fundamentals of generalized recursion theory
پدیدآورنده : Fitting, Melvin, 2491-
کتابخانه: (طهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
F57
1981
17. Fundamentals of generalized recursion theory
پدیدآورنده : Fitting, Melvin
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
F57
1981
18. General recursion theory
پدیدآورنده : Fenstad, Jens Erik
کتابخانه: (طهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
F46
1980
19. General recursion theory : an axiomatic approach
پدیدآورنده : Fenstad, Jens Erik.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
F46
20. Generalized recursion theory. Proceedings of the 1972 Oslo symposium
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Recursive functions
رده :
QA
248
.
5
.
S93
1972
